منابع مشابه
Flatten a Curved Space by Kernel: From Einstein to Euclid
Einstein’s general theory of relativity fundamentally changed our view about the physical world. Different from Newton’s theory, Einstein’s space and time are not flat but can be warped by matter. For a curved space such as Einstein’s space, Euclidean geometry is no longer suitable, and Riemannian geometry is usually used instead. In parallel with physics, due to an explosion of data from all f...
متن کاملProofs, pictures, and Euclid
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With respect to the proofs in the Elements in particular, the received view is that Euclid’s reliance on geometric diagrams undermines his efforts to develop a gap-free deductive theory. The central difficulty concerns the g...
متن کاملEuclid and Wythoff games
Two characterizations of the Sprague-Grundy function values of Euclid’s game, in terms of the winning strategy of the generalized Wythoff game, are given.
متن کاملComputational Euclid
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++ classes that efficiently supports the construction of complex geometric configurations. Although all computations are performed in floating-point arithmetic...
متن کاملEuclid, Tarski, and Engeler Encompassed
The research presented in this paper is situated in the framework of constraint databases that was introduced by Kanellakis, Kuper, and Revesz in their seminal paper of 1990. In this area, databases and query languages are deened using real polynomial constraints. As a consequence of a classical result by Tarski, rst-order queries in the constraint database model are eeectively computable, and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1920
ISSN: 0028-0836,1476-4687
DOI: 10.1038/104627a0